add_ani_demo(ani_boxed_Double)
 